Universit at Augsburg Modular Construction of Fast Asynchronous Systems Modular Construction of Fast Asynchronous Systems
نویسنده
چکیده
A testing scenario in the sense of De Nicola and Hennessy is developed to measure the worst-case eeciency of asynchronous systems using dense time, and it is shown that one can equivalently use discrete time. The resulting testing-preorder is characterized with some kind of refusal traces. Furthermore, the testing-preorder is reened to a precongruence for standard operators known from process algebras. Beside the usual complications with the choice operator, it turns out that even the preex operation requires a reenement. Finally, the testing-preorder is compared to those gained from similar approaches.
منابع مشابه
Modular Asynchronous Network-on-Chip: Application to GALS Systems Rapid Prototyping
This paper presents an innovating methodology for fast and easy design of Asynchronous Network-on-Chips (ANoCs) dedicated to GALS systems. A topologyindependent building-block approach permits to design modular, scalable and reliable ANoCs with low-power and low-complexity requirements. A crossbar generator is added to the existing design flow for fast system architecture exploration. A multi-c...
متن کاملUniversit at Augsburg Concurrent Implementation of Asynchronous Transition Systems Concurrent Implementation of Asynchronous Transition Systems
The synthesis problem is to decide for a deterministic transition system whether a Petri net with an isomorphic reachability graph exists and in case to nd such a net (which must have the arc-labels of the transition system as transitions). In this paper, we weaken isomorphism to some form of bisimilarity that also takes concurrency into account and we consider safe nets that may have additiona...
متن کاملApplication New Approach with Two Networks Slow and Fast on the Asynchronous Machine
In this paper, we propose a new modular approach called neuroglial consisting of two neural networks slow and fast which emulates a biological reality recently discovered. The implementation is based on complex multi-time scale systems; validation is performed on the model of the asynchronous machine. We applied the geometric approach based on the Gerschgorin circles for the decoupling of fast ...
متن کاملCompositional synthesis of latency-insensitive systems from multi-clocked synchronous specifications
We consider the problem of synthesizing correct-by-construction globally asynchronous, locally synchronous (GALS) implementations from modular synchronous specifications. This involves the synthesis of asynchronous wrappers that drive the synchronous clocks of the modules and perform input reading in such a fashion as to preserve, in a certain sense, the global properties of the system. Our app...
متن کاملAsynchronous Automata Implementation Using Only Logic Gates
Abstract: The use of asynchronous sequential circuits has brought many advantages to system development, given the following examples: Signal interface protocols (for example SCSI) Asynchronous circuits are ideal for building modular systems. This modular structure enables a global system time checkup. The asynchronous circuits developed for high performance systems, for speeds up to 75 MHz...
متن کامل